Deterministic finite automaton - PDFSEARCH.IO - Document Search Engine

Deterministic finite automaton
Results: 142

#	Item
11	Learning Stochastic Finite Automata for Musical Style Recognition? Colin de la Higuera, Fr´ed´eric Piat and Fr´ed´eric Tantini1 EURISE, Universit´e de Saint-Etienne, 23 rue du Docteur Paul Michelon, 42023 Saint-Etie Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2009-09-07 03:02:20 Formal languages Computer science Applied mathematics Combinatorics on words Probabilistic automaton Finite-state machine Finite state transducer Nondeterministic finite automaton Deterministic finite automaton Automata theory Models of computation Theoretical computer science
12	Regular-expression derivatives reexamined SCOTT OWENS University of Cambridge Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-01-10 16:47:22 Models of computation Computer science Software engineering Nondeterministic finite automaton Deterministic finite automaton Regular language Symbol String Regular expression Automata theory Formal languages Theoretical computer science
13	Synthesis for Probabilistic Environments⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:37:30 Symbol Finite-state machine Deterministic automaton Ω-automaton Automata theory Theoretical computer science Computer science
14	Saarland University Faculty of Natural Sciences and Technology I Department of Computer Science Bachelor’s Thesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:26:51 Büchi automaton Automata theory Models of computation Deterministic finite automaton
15	Notes on Counting with Finite Machines Dmitry Chistikov Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbrücken, Germany Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2014-12-11 10:15:34 Theoretical computer science Computer science Nested word Pushdown automaton Deterministic pushdown automaton Turing machine Nondeterministic finite automaton SC Deterministic finite automaton Automata theory Theory of computation Models of computation
16	JMLR: Workshop and Conference Proceedings 34:79–93, 2014 Proceedings of the 12th ICGI An Abstract Framework for Counterexample Analysis in Active Automata Learning Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Computer science Software engineering Deterministic finite automaton Nondeterministic finite automaton Symbol Counterexample Regular expression Automata theory Models of computation Theoretical computer science
17	12 Informed learners T Understanding is compression, comprehension is compression! Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2010-07-20 08:11:04 Computer science Software engineering Finite-state machine GOLD Computing Automata theory Models of computation Deterministic finite automaton
18	5 Representing distributions over strings with automata and grammars T Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2010-07-20 08:11:02 Computer science Applied mathematics Nondeterministic finite automaton Markov chain Probabilistic automaton Deterministic finite automaton Finite-state machine Automata theory Models of computation Theoretical computer science
19	JMLR: Workshop and Conference Proceedings 34:207–217, 2014 Proceedings of the 12th ICGI Induction of Directed Acyclic Word Graph in a Bioinformatics Task Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Applied mathematics Computer science Directed acyclic word graph Deterministic finite automaton Algorithm Machine learning String searching algorithm DFA minimization Finite-state machine Automata theory Models of computation Theoretical computer science
20	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation